$\forall$${\it es}$:ES, $i$:Id, $k$:Knd, $L$:(IdLnk List). @$i$:$k$ sends only on links in $L$ $\in$ $\mathbb{P}$